Feeds to Scour
SubscribedAll
Scoured 9563 posts in 1.48 s
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.toยท4hยท
Discuss: DEV
๐Ÿ“Text Parsing
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท12h
โœ…Formal Methods
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.orgยท15hยท
Discuss: r/compsci
๐Ÿ“ฅFeed Aggregation
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy โ€” TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.ioยท9h
๐Ÿ“Parsing Grammars
Preview
Report Post
Final (?) version of my LLM proofreading macro
leancrew.comยท7h
โš”๏ธLean Tactics
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.comยท1dยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Preview
Report Post
SMART SLM: Structured Memory and Reasoning Transformer, A Small Language Model for Accurate Document Assistance
arxiv.orgยท2d
๐Ÿ“‹Document Grammar
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.comยท1d
๐Ÿ“Linear Logic
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
โš”๏ธLean Tactics
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
Discuss: r/programming
โฌ†๏ธLambda Lifting
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.eduยท1d
๐Ÿง Machine Learning
Preview
Report Post
Exploring TabPFN: A Foundation Model Built for Tabularย Data
towardsdatascience.comยท9h
๐Ÿ“ABNF Parsing
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
๐Ÿ”ฌLean
Preview
Report Post
Unger Parsing
buttondown.comยท5dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.toยท16hยท
Discuss: DEV
โšกProof Automation
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท8hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.netยท3dยท
Discuss: r/programming
๐Ÿ“Concrete Syntax
Preview
Report Post
Document Parsing with LLMs: From OCR to Structural Understanding.
alamedadev.comยท3d
๐Ÿ“‹Document Grammar
Preview
Report Post
A Review of Language Machines by Leif Weatherby
deontologistics.substack.comยท1dยท
Discuss: Substack
๐Ÿ“ผCassette Linguistics
Preview
Report Post